(0 19 15)(1 11 3)(2 9 4)(5 20 7)(6 10 8)(12 16 14)(13 18 17)
ALLOWS (11/8)-SEQUENCE
1: (13 18 20)
(0 19 15)(1 11 3)(2 9 4)(5 20 17 13 7)(6 10 8)(12 16 14)(18)
2: (0 19 15)
(0)(1 11 3)(2 9 4)(5 20 17 13 7)(6 10 8)(12 16 14)(15)(18)(19)
3: (12 16 14)
(0)(1 11 3)(2 9 4)(5 20 17 13 7)(6 10 8)(12)(14)(15)(16)(18)(19)
4: (7 17 13)
(0)(1 11 3)(2 9 4)(5 20 17)(6 10 8)(7)(12)(13)(14)(15)(16)(18)(19)